$\forall$$a$, $b$:$\mathbb{Z}$. ($a$ {-} $b$) = ($a$ {-} $b$) $\in$ $\mathbb{Q}$